In the treatise On the Spiritual in Art, Wassily Kandinsky divided the creation of art into three categories, the ultimate one of which is called Composition. In this article, I argue that Kandinsky’s classification is similar and comparable to the principle of semi-abstract Chinese freehand brushwork summarized by Zheng Xie in the Inscriptions on Painting - Bamboo. In an attempt to clarify the core of Kandinsky’s strategy of abstraction, i.e. the transformation from painting to writing, I then connect it with (...) the evolution of Chinese characters and the aesthetic theory of Chinese calligraphy, which is also in accord with Kandinsky’s idea of internal necessity and the spirit in art. Through this aesthetic dialogue across time and space, this article aims to bring a new dimension to the understanding of Western abstractionism from the perspective of the oriental philosophy of art. (shrink)

H.m. is the science of the most general laws and root forces in the development of human society. H.m. came into being in the mid-19th century. Its creators were the leaders and ideologists of the working class: Marx and Engels. In founding a new philosophical world view, dialectical materialsm, Marx and Engels applied it to cognition of society, its history and life.

t. 1. Obʺektivnai︠a︡ dialektika -- t. 2. Subʺektivnai︠a︡ dialektika -- t. 3. Dialektika prirody i estestvoznanii︠a︡ -- t. 4. Dialektika obshchestvennogo razvitii︠a︡ -- t. 5. Kritika idealisticheskikh kont︠s︡ept︠s︡iĭ dialektiki.

The purpose of this article is to consider critically the humanistic potential of Olympism. We consider the concepts ‘human’ and ‘humanism’ from an existential perspective. Existentialism argues that human beings exist in a state of freedom. Freedom, as the basis of being human, holds a human fully responsible for his or her own existence. This responsibility assumes an active mode of behaviour, predicated on human effort. It can also include the making of specific artifacts such as creating creations. According to (...) Mamardashvili, creating creations are unique cultural mechanisms that remain in the boundaries of morality, beauty, thought and so on, adding quality to human existence. The article argues that the desire to be fulfilled as a human being is the moral basis to which Olympism directs Olympic athletes. Moreover, Olympism expresses the human’s need of self-overcoming, constant self-perfection which is necessary aspect of the humanity. Thus, the humanistic potential of Olympism lies in the fact that it allows for the creative space in sport which is itself a place for human realization. Therefore, Olympism can be characterized as opera operans, creating creation. (shrink)

It is well-known that natural axiomatic theories are well-ordered by consistency strength. However, it is possible to construct descending chains of artificial theories with respect to consistency strength. We provide an explanation of this well-orderedness phenomenon by studying a coarsening of the consistency strength order, namely, the$\Pi ^1_1$reflection strength order. We prove that there are no descending sequences of$\Pi ^1_1$sound extensions of$\mathsf {ACA}_0$in this ordering. Accordingly, we can attach a rank in this order, which we call reflection rank, to any$\Pi (...) ^1_1$sound extension of$\mathsf {ACA}_0$. We prove that for any$\Pi ^1_1$sound theoryTextending$\mathsf {ACA}_0^+$, the reflection rank ofTequals the$\Pi ^1_1$proof-theoretic ordinal ofT. We also prove that the$\Pi ^1_1$proof-theoretic ordinal of$\alpha $iterated$\Pi ^1_1$reflection is$\varepsilon _\alpha $. Finally, we use our results to provide straightforward well-foundedness proofs of ordinal notation systems based on reflection principles. (shrink)

Essentialism can be defined as a metaphysical theory according to which things have essential and accidental properties. In this paper, I will address Avicennian essentialism, that is, essentialism...

RésuméQuels sont les objets de la perception? Deux réponses célèbres à cette question soutiennent que ce sont soit les images des objets extramentaux, c'est-à-dire la façon dont ils nous apparaissent, soit les objets eux-mêmes. Dans cet article, je présente une analyse de cette question par Abū l-Barakāt al-Baġdādī, un savant post-avicennien dont l'impact sur l'histoire de la philosophie islamique a été largement négligé. Abū l-Barakāt s'est opposé au dualisme épistémologique traditionnel aristotélicien-avicennien, qui établit une distinction entre la perception sensorielle des (...) particuliers matériels et la conception des universaux immatériels, notamment en ce qui concerne le percevant et/ou la structure de la perception. Selon la théorie d'Abū l-Barakāt, tous les actes épistémiques ont la structure unifiée d'une relation directe entre un même percevant et les objets eux-mêmes – matériels et immatériels. Sa thèse principale consiste à dire qu'avoir des organes corporels n'est pas nécessaire pour la perception sensorielle. Dans la dernière section de cet article, je montre que la critique d'Abū l-Barakāt de la tradition aristotélicienne-avicennienne fut considérée comme une innovation révolutionnaire en épistémologie. Cela peut avoir déterminé les théories épistémologiques de deux des philosophes arabes postavicenniens les plus importants : Faḫr al-Dīn al-Rāzī et Šihāb al-Dīn al-Suhrawardī. (shrink)

ABSTRACTScholarship on medieval philosophy has rightfully acknowledged the historical and systematical merit of Avicenna’s thought in all divisions of philosophy. Avicenna however did not...

According to the restructuring hypothesis, insight problem solving typically progresses through consecutive stages of search, impasse, insight, and search again for someone, who solves the task. The order of these stages was determined through self-reports of problem solvers and has never been verified behaviorally. We asked whether individual analysis of problem solving attempts of participants revealed the same order of problem solving stages as defined by the theory and whether their subjective feelings corresponded to the problem solving stages they were (...) in. Our participants tried to solve the Five-Square problem in an online task, while we recorded the time and trajectory of their stick movements. After the task they were asked about their feelings related to insight and some of them also had the possibility of reporting impasse while working on the task. We found that the majority of participants did not follow the classic four-stage model of insight, but had more complex sequences of problem solving stages, with search and impasse recurring several times. This means that the classic four-stage model is not sufficient to describe variability on the individual level. We revised the classic model and we provide a new model that can generate all sequences found. Solvers reported insight more often than non-solvers and non-solvers reported impasse more often than solvers, as expected; but participants did not report impasse more often during behaviorally defined impasse stages than during other stages. This shows that impasse reports might be unreliable indicators of impasse. Our study highlights the importance of individual analysis of problem solving behavior to verify insight theory. (shrink)

One of the most widespread claims combining epistemology and metaphysics in post-Avicennian Islamic philosophy was that every object of thought is real. In Muʿtazilite reading, it was endorsed due to a theory of knowledge which states that knowledge is a connection or relation between the knower and the object known. Avicennists accepted it due to the rule that in a proposition “s is p” if p is something positive s has to be positive and real too. Hence, insofar as one (...) can conceptually distinguish between two non-existent items, they have to be real. In this article, the author presents significant consequences of this theory: the acceptance and denial of non-existent yet real extramental objects; the concept of mental existence as an alternative solution; the conceivability of paraconsistent ideas and their reality or reducibility to some real objects. (shrink)

We consider the well-known provability logic GLP. We prove that the GLP-provability problem for polymodal formulas without variables is PSPACE-complete. For a number n, let L0n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L^{n}_0}$$\end{document} denote the class of all polymodal variable-free formulas without modalities ⟨n⟩,⟨n+1⟩,...\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle n \rangle,\langle n+1\rangle,...}$$\end{document}. We show that, for every number n, the GLP-provability problem for formulas from L0n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${L^{n}_0}$$\end{document} (...) is in PTIME. (shrink)

RésuméDans cet article, je soutiendrai que divers philosophes du kalām s'accordent à dire que la perception sensorielle dépasse les processus physiques dans les organes sensoriels. Il peut se passer quelque chose dans nos yeux lorsque nous voyons une pomme rouge, mais voir une pomme rouge ne s'y réduit pas. Nous verrons que certains philosophes du kalām soutiennent que la perception sensorielle est semblable à une prise de conscience ou à une conscience de l'objet de la perception, et qu'elle est, par (...) conséquent, distincte du processus physique dans les organes sensoriels. Un groupe ira jusqu’à accepter que la perception sensorielle ne dépend même d'aucun processus physique dans le corps. Un autre groupe acceptera que la perception sensorielle présuppose diverses conditions physiques, mais il considérera néanmoins la perception sensorielle comme quelque chose de distinct de l'occurrence de ces conditions. Je suggère que ces théories non réductionnistes de la perception sensorielle sont la raison pour laquelle les philosophes arabo-islamiques, à partir du XIe siècle, rejettent systématiquement la théorie aristotélico-avicennienne de la perception sensorielle. (shrink)

In this paper, we study finitely axiomatizable conservative extensions of a theoryUin the case whereUis recursively enumerable and not finitely axiomatizable. Stanisław Krajewski posed the question whether there are minimal conservative extensions of this sort. We answer this question negatively.Consider a finite expansion of the signature ofUthat contains at least one predicate symbol of arity ≥ 2. We show that, for any finite extensionαofUin the expanded language that is conservative overU, there is a conservative extensionβofUin the expanded language, such that$\alpha (...) \vdash \beta$and$\beta \not \vdash \alpha$. The result is preserved when we consider eitherextensionsormodel-conservative extensionsofUinstead ofconservative extensions. Moreover, the result is preserved when we replace$\dashv$as ordering on the finitely axiomatized extensions in the expanded language by a relevant kind of interpretability, to witinterpretability that identically translates the symbols of the U-language.We show that the result fails when we consider an expansion with only unary predicate symbols for conservative extensions ofUordered by interpretability that preserves the symbols ofU. (shrink)

A central question in the history of metaphysics concerns the ontological status of such notions as 'redness,' 'humanity,' or 'animality,' which one calls 'universals.' Since one uses these notions to describe objects in the real world, it may seem intuitive that they exist in extramental reality: one says that universals are 'real'. Famously, though, several problems arise from this view. A central problem known both to medieval and contemporary scholars goes as follows: I look at a red rose and recognize (...) that there is 'redness' in it. Then, I look at a red apple and recognize that there is 'redness' in it, too. Does this mean that one and the same 'redness' appears in both the rose and the... (shrink)

In this paper, we consider the relative significance of concrete and abstract features for the identity and persistence of a group. The theoretical background for our analysis is the position according to which groups are realizations of structures. Our main argument is that the relative significance of the abstract features with respect to the significance of concrete features can vary across different types of groups. The argumentation will be backed by introducing the examples in which we show that this difference (...) in significance can affect the identity and persistence of the group. (shrink)